[Bug 4199] New: Debian package does not install