Re: [GHC] #3178: Fix linking -lpthread for semaphores