disable unoptimized sqlite in spidermonkey due to a bug