I see a lot of posts about writing to the SD card, but I believe my problem is different. I am unable to create the SD card during the process of building an AVD.
I
If you are using Kali, Debian Jessie (or Ubuntu 13.10+), try
sudo apt-get install lib32stdc++6
instead of the ia32-libs mentioned above.