Update write_debian_installs.py