python module to call clock_gettime