sh.snippets: use printf instead of echo for portability.