Modify clock_gettime to use wall_time instead of cpu_time.

Signed-off-by: Guillaume Serrière <guillaume.serriere@esial.net>