fix CheckModules.pl