Delete the_gnu_clock