Both header files are included by FileFinder.cpp (part of dvisvgm
[part of TL source code]) and g++ 4.7 refuses to compile the sourceSigh. 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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

