Start GHCI with the necessary parameters