aladin-9.013-3.mga8.src.rpm build ok