A simple script to make wall clocks work with Debian wheezy