get rid of .ghci file. People find this annoying