Fix mint repo