RE: ghci with -prof