kill obsolete debian patch