revert using zipped OpenLayers.js