Problem disapeared at least since November 2019 and removal of bypass doxygen-dot-one-thread.patch So close this bug.