[Bug 4199] Debian package does not install