wmtop-0.85-4.mga10.src.rpm build ok