mci: debian packaging will run make check, so just defer to that.