Fix mutex on Linux