Update personalize_debian.txt