update MySQL Workbench to version 6.1.4