Patched external project, so ignore non-standard headers