workbench: add workaround for bug #741529