renamed file random-modular_generator_... to random_modular_generator_...