Update installation_deb.rst