extremetuxracer-0.7.5-2.mga7.src.rpm build ok