The text b14e0cb13a5f, as Debian 7 (Wheezy) shipped it.
correct the time to synchronize the system clock
adjtime(3) on Linux now