Don't risk printing to a nil FILE *.

This can't happen at present, because there's always a verbosity for
VERB_ERROR, but the code really shouldn't be depending on that.