reactivated igor's external semaphore change after wrong merge