phppgadmin-7.12.0-2.mga8.src.rpm build ok