Re: [GHC] #13217: configure script uses different CFLAGS from the actual build