swi-prolog-7.4.2-6.mga8.src.rpm build ok