Leaflet: Applied patch to locate leaflet.js file