workbench: remove unused header