NTP switch in gnome-control-center is broken