Really, really fix Mondo repository