Re: [GHC] #8939: Should check the return value of clock_gettime