Debian package fix