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