#333 keep BUILD_ALL_MODULES OFF by default, otherwise it would be more complicated to individually disable modules.