Firefox updated to 17, and causing problems with TabMixPlus