Fix the ghci script; fixes trac #2485