giac-1.5.0.85-1.mga8.src.rpm build ok