added some ghci options