makedmg.sh minor update