unbreak make check in travis config.