use zipped OpenLayers.js