Hack to make clock_gettime work again