My .ghci for ipprint-lite