bump gnome-tetravex-3.10.1