>>>>> "Gerald" == Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> writes: Gerald> So, how shall we proceed? ;-) Gerald> Are you going to disable installation of these headers? Actually, I'm going on vacation very soon and so I don't have time to look at this. Maybe someone else can handle it. If not, submit a PR, I guess. Tom