[MacPorts] #66163: gmp fails to destroot on macOS 13 Ventura (ARM64): file already exists

[MacPorts]

#66163: gmp fails to destroot on macOS 13 Ventura (ARM64): file already exists
------------------------+--------------------
  Reporter:  Zeta-0x00  |      Owner:  (none)
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.8.0
Resolution:             |   Keywords:
      Port:  gmp        |
------------------------+--------------------

Comment (by ryandesign):

 Please attach the two gmp.h files so that we can see how they differ.

-- 
Ticket URL: <https://trac.macports.org/ticket/66163#comment:8>
MacPorts <https://www.macports.org/>
Ports system for macOS