fix firefox
Failure: devel/frama-c v20140301