Fixing Debian support