outline portable implementation to replace clock_gettime()