Updated Makefile.vanilla with new exec names, added more comments
Merge remote-tracking branch 'origin/master'