more tweaks to semaphore-shuffle benchmark