Delete debian-73.pp