ensure that the Makefile installs the davis branch instead of master