platforms.js: Fix GitHub tarball URL