kaldi-vosk-git20231220-4.mga10.src.rpm build ok