Fix an issue causing platform.js is missing in dist
Update dist
Merge branch 'develop'