use clock_gettime() for reliable measurement on ARM