Re #1341: Fixed Repox 2 Mint import issue