Uses workbench-2.5 if workbench-3.0 doesn't exist