Update debian/
Merge pull request #3468

4d46da2 Update debian/ (Matt Corallo)