debian: Remove unused files, targets

Followup to #1539.