updated mysql workbench to 6.2.4