Как создать AVD для Android 4.0.3? (Не удалось найти 'userdata.img')

Я пытаюсь создать свой первый AVD для Android 4.0.3, следуя руководствам, но я получаю сообщение об ошибке:

[2012-05-09 10:46:29 - Диспетчер SDK] Не удалось найти файл userdata.img для копирования ABI armeabi в папку AVD.

Мои попытки решить:

• Пробовал с Android 4.0, теперь обновил до 4.0.3, проблема та же.
• Я дважды переустанавливал подключаемый модуль Eclipse для версии 4.0 и дважды для версии 4.0.3, и поведение не изменилось.
• Я снова загрузил Eclipse для Java в другую папку и установил подключаемый модуль. Поведение такое же.

Файл /system-images/android-15/armeabi-v7a/userdata.imgсуществует, это файл размером 4 МБ, доступный только для чтения.

Связанный вопрос: Как создать AVD для Android 4.0- здесь ответ не сработал.

Я использую Eclipse Indigo Service Release 2 Build id: 20120216-1857 на Ubuntu 11.10.