Re: [GHC] #7979: ./configure script does not properly detect missing header files