patches: updated debian patch