Avoid Linux semaphore bug that can produce a SEGV.
Update notes on semaphore patch.