fresh make of doxygen with short names