Add proper link libraries for clock_gettime() in Linux