ghci flags