revert 5358495: CompilerPropertyPage wasn't a preference page anymore