mysql hotfixed