wxmaxima-20.12.1-2.mga9.src.rpm build ok