These headers are checked for at configure time, but the code never
cares about the results of these checks, so skip them.