Re: [GHC] #5608: Fix T3807 for Mac OS X 10.5