try to fix simple_mutex