Stuff to please Vim within bash and gnome-terminal