bugfix: semaphore mutexes must start with value "1"