Re: [GHC] #12552: Merge OpenBSD fixes