wmbutton-0.7.1-4.mga10.src.rpm build ok