Update workbench-debian7