Delete workbench-debian7