Running Isadora Main (GNOME) 32-bit. This weekend's time change has not occurred on my machine. Checked Time and Date settings in Control Center. They are set up to get the time from the Internet, using the standard Ubuntu time server and the server from Penn State. System clock is still an hour behind. anybody else having the problem?