Fix firemacs for firefox 20.