opencpn-5.12.4-2.mga10.src.rpm build ok