Re: ghci, sourcing