Code

configure: also check for clockgettime()