copy platform.js over manually rather than relying on webapp hacks