Re: how to load an additional file to ghci