Update pthread futexes to use alarms for timeouts