Re: Problems building ghc-current

Alastair: Thanks a lot for the detailed reply! I'll take a look at the build again; maybe I can get this problem fixed after all.

The attached diff (about to be committed) seems to fix the problem. -- Alastair