Re #1052: Commited lates version of MINT