starlink-ast-7.3.1-8.mga8.src.rpm build ok