OpenLayers, Proj4JS, and console externs