last futex fixes I hope