Changing the default Ubuntu time servers.