Fixed a minor bug with named mutexes on Linux.