menhir-20181113-5.mga8.src.rpm build ok