correct debian package (thanks Jan)