[GHC] #12858: clock_gettime support on OS X is a nightmare