Link with -lrt for clock_gettime, because RED Brick doesn't have glibc 2.17