use standalone echo, not shell builtin