workaround for missing clock_gettime() in OS

see gist #1087739 by Juan Batiz-Benet(jbenet)