add gnome-online-miners-3.14.0