[Bug 937648] editors/vim: Use vanilla /etc/vimrc