manage private futexes (bugfix with debug output)