Now with a fixed Debian package.