remove unnecessary include from header, despite what iwyu tool says