Fix selenium

This is a temporary fix for the Selenium 2.42.1 vs Firefox 32 bug. With this, I am successfully able to run setup_dev.sh locally. Supposedly this issue will be fixed in Selenium 2.43 (release date TBD) and then we can get rid of this hack.

Fixes #538