[PPL-devel] Doxygen 1.2.13-20020210 segfaults