Fix in MySQL library