add some customization for ghci