Fix make-distribution.sh failed