I've been trying to get these tools to sensibly check headers as well for years
but never managed to actually make it work properly in all cases.  So, I think
it's time to accept that trying to pretend otherwise in a wrapper script is a
fool's errand.