Firefox no more starts if called by the gnome3 dashboard after having applied all updates this morning