Include -lrt for clock_gettime on Ubuntu 12.04