amend to 6893c9 (clock_gettime abstraction)