update mysql-server version