mysql-workbench: Upgraded to 5.2.47