Semaphores need to have a unique name -- fixes #7341