[Decaf] PP4: remove an unnecessary file.