Yes, I changed this option two days ago and I don't have a bug any more (or at least I cannot reproduce it). Well, I don't need metro apps in start menu, so, such a fix is acceptable for me. 1.3.3 worked well with the same number of programs, though I didn't try to install it after installing 2.0.