use printf(1) here. This way there is no possibility of format string problems and we use a shell builtin instead of an external command.