Fix debian.xml