[trivial] Fix makefile to work without git installed

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