gnome-tetravex 3.7.2.1 * Fix icon name