IB: convert from semaphores to mutexes