flightgear-2020.4.0-2.git20240703.1.mga10.src.rpm build ok