Update installation_debian.rst