Fix doxygen-generation, adapt to now working way to run the test-suite (patched upstream).