naev-0.7.0-2.mga7.src.rpm build ok