No POD found for inftrees.c. Time to read the source?