minor changes to .vimrc (GViM size etc.)