Both header files are included by FileFinder.cpp (part of dvisvgm
[part of TL source code]) and g++ 4.7 refuses to compile the source
Sigh. Well, I suppose we can add !defined (__cpluscplus) easily enough.
If someone would like to send me a patch, that would be nice, else I'll
look at it after I install gcc 4.7. I was more or less waiting for
4.7.1 ...
karl