SERVER-6646: fix spidermonkey build