Update mysql workbench version