update mysql version