doxygen-1.8.13-2.mga7.src.rpm build ok