gnome: gcalctool is now gnome-calculator