Work around Tex Live 2012 versus doxygen problem.