src/external headers should not be marked as SYSTEM because they are in-tree