I've exported an .xml file from openstreetmap.org. My actual file is called "map.osm.xml". CityEngine will only allow the importing of files with the extension .osm so it will not import my .xml file. There is no option on openstreetmap.org to export a file with the extension .osm. How do I make this work? I've tried importing the xml file anyway with the OSM import tool but it just won't do anything. Anyone else already figure this out?