fixed a bug in delegating PepperModules version to ModuleDesc