Re: [GHC] #5142: stub header files don't work with the MS C compiler