modify install_devel.sh