The configure script is totally broken and does not check for clock_gettime. Define it manually. Signed-off-by: Rosen Penev <rosenp@gmail.com>