Noticed for #2929: travis make check failed, but there is no information
as to why, because that is hidden in the test-suite log