Re: ghci and source files