/home/models/dreal4/tools/generate_pkg_file_osx.sh