fix missing platform.js