[sr-dev] git:master:a46f1351: core: added alternative for clock_gettime() on mac os x