Re: ghc fails with HOME not set, fixing right now