Disabling -P publish-distr by default (fixing CI build)