protect destruction of process-shared mutexes against robust list races