Fix Debian packaging