trying out workaround for travis bug with POSIX semaphores