yo instalé el mio ( versión para psp ) del oficial no me daba errores y hace tiempo el de psp y tpc ningún error...
y... por favor indica para que plataforma va dirigido aunque cuando lees el post te das cuenta de que es para ds ( PAlib ) cualquier otro no lo sabe y devkitpro es tb para psp...