mysql-workbench: update to version 6.2.4