Update install_portia.sh