Fix bootstrap script for semaphore