This is done to make doxygen play nicely with rtd theme