Regenerated mint files.

Signed-off-by: FellowTraveler <F3llowTraveler@gmail.com>