Revise makefile to use git and checkout specific revisions.