Fix issue with clock_gettime().

Works on Ubuntu v12.04.
pre merge
Merge branch 'rogerhu/fix_clockgettime' into 1.5