dot2tex-2.9.0-1.mga7.src.rpm build ok