Correct names for two tasks in `vagrant/Makefile`