update tools, CustomElements; modify platform.js for latest loader