improve redEcho of echo-args.sh