doxygen.cfg from klee