Problems for badgy@aur in AUR