Re: [GHC] #7559: `./configure --with-macosx-deployment-target=` doesn't work