Add --enable-dist-only flag for easier building with jenkins.