Tweak devel/doxygen version 1.8.3.1_1