mysql-workbench: fix doinst.sh script
Thanks to Niels Horn

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackware-id.org>