fix platform.js.map file