fix mysql version