modified DIST_WORKDIR in make_dist_mac.sh