Updated Makefile.vanilla with new exec names, added more comments