This reverts commit f7b5b670c1cf0fe54e59aa0d1f1a11ee66e442ab. It had broken the publish-doxygen-docs buildbot