Fix up the MANIFEST now that we have a newer MIRTx