Fix debian/default