healpix-3.31-3.mga7.src.rpm build ok