Update install_devbuntu.sh