dosemu-1.4.0.8-17.mga10.src.rpm build ok