Fixing Debian libraries