Give the GeoJSON file the right extension.