.bashrc: Fix a bug in ssh-vagrant again.