Ported the extension to support the latest versions of Spidermonkey