mysql library fix