dont use clock_gettime by default
Authored by: Jean-Francois Dockes 2012-12-18
Parent(s): [a0e273]
Child(ren): [bc2843]