.bashrc: Fix a bug in ssh-vagrant.