modify make-distribution.sh