switch back to minified leaflet.js