naev-0.7.0-5.mga8.src.rpm build ok