[trivial D1] Fix makefile to work without git installed

While we are at it, use printf instead of echo.