Other fiddling to get lintian to shut up
Fiddlings to get lintian happy