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