Fix the clock_gettime monotonic timer. Thanks to Gilles for the
first sketch of the patch.