modify mysql version