configure: also check for clockgettime()