Tools to manipulate the PTPatch format