Re: [GHC] #1520: Use Linux's signalfd() instead of pipe() to deliver signals to the IO manager