Fix a problem about Vagrant command line