Remove inclusion of a non-existing header file