modify install_mawk.sh