sh.snippets: use more portable `printf` over `echo`.