Thank you, Travis CI, for reminding me that one cannot disable a header with inclusion guards if it doesn't exist. (cherry picked from commit 537ea4ccf1)
537ea4ccf1