Using Spidermonkey with consistent version on WIN32 and Android