Fix issue with clock_gettime().

Works on Ubuntu v12.04.