extra instructions for using Makefile and Vagrant