remove workbench as we do not update it anymore