Fix the generation of AllModules.h