Edit deb package list needed by Ajhc.