erlang-proper-1.3-4.mga9.src.rpm build ok