Update make-dist* for deploy-dev.sh