update install_on_ubuntu.dox