use uncompressed leaflet js