cegui-0.8.7-12.20181104.16.mga10.src.rpm build ok