dbench-4.0-12.mga10.src.rpm build ok