Got rid of "set -x" (runtests.sh has a way to set this, if desired).