Fix release-related things

contrib changes need to be reflected in binary-distribution.sh
and documentation building too.