convert_map_to_pgm added
merge