updated versions of Leaflet etc.