Added mysql-workbench and mysql-workbench-64