Encoding bugfix in doxygen_config