futex: fixes