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