Update after_debian_installation.txt