Update docs/source/installation/installation_ubuntu.rst