doxygen: version bumped to 1.8.3.1.