Delete some deprecated vimrc options