ghci and source files