changing this file means that you need to bump EMSCRIPTEN_VERSION in tools/shared.py