CI: "make check" already included in "make distcheck"
No need to waste time on redundant tests execution.