Fix debian patch