issue #5171: Try to Increase spidermonkey performance