Update make-development-distribution.sh