new configurable *default-printv-output* controls where *printv-output* resets to, instead of hard-coded *trace-output*