Can you explain this a little more:
In ompi/mpi/c/ header files are moved up into the actual c-file,
where necessary (these are the only additional #include),
otherwise it is only deletions of #include (apart from the above
additions required due to notifier...)
It looks like the addition of
to lots of ompi/mpi/c/*.c files. I don't quite grok from your commit
comment why that was a good thing...?