Remove superfluous printout from 'make check'