mysql bump version