AVD .ini file not present if AVD was renamed

[natario1]

Need to search other ini files until the correct one is found, example:

% cat /Users/Mattia/.android/avd/Pixel_3_API_32.ini
avd.ini.encoding=UTF-8
path=/Users/Mattia/.android/avd/Pixel_5_API_32.avd
path.rel=avd/Pixel_5_API_32.avd
target=android-32