Fix contrib/vagrant/Makefile to work on non bash-symlinked /bin/sh.
Merge pull request #761 from jperville/makefile-bashism-fix

Fix contrib/vagrant/Makefile to work on non bash-symlinked /bin/sh.