upgrade to leaflet 0.7.1 again, using updated js file of CDN