Downgraded to Doxygen 1.8.0
Doxygen 1.8.0 seems to behave the way we want, without generating either faultily encoded or empty sections.