added a "quiet" option, it resides in debugrun.sh