no vagrant ssh options