On Wed, Feb 10, 2016 at 4:09 PM, Sven Barth <pascaldragon at googlemail.com> wrote: > What about include files included by other include files? Ok, that is a nasty situation. I think it should be avoided. Juha