fix ugly configure output (follow up to #6943)
2 files changed