Use MAX_MAP_SIZE in the args to map_file().