Closes #707: build broken when git not found