don't try to include non-existing (and unneeded) header file