mysql: fix workbench configure function