So, here's a proposed patch to fix this. It adds more output (on stderr) in the case of failure. It does not change the output in the case of success.
I installed it. Saw nothing to change, and make distcheck still succeeded. Thanks as always, Bruno. -k