Add ghci options