Fix Debian name