fix Futex when steady_clock and system_clock precisions differ