Fix the MySQL repo version.