lib/sh/util.sh: added back echo_run(), usable for internal commands where command() would be used for external commands