menhir-20181113-6.mga9.src.rpm build ok