fix mysql library version