oolite: fix problem with spidermonkey installed