Fix Debian packages