mysql-workbench-6.3.10-2.mga7.src.rpm build ok