update mySQL version