make `vagrant ssh` terminal fully functional again (fixes #64)