Please find here an excerpt from test-suite.log that shows
failure of "make check" in two tests: