How can I get ClockworkMod Recovery to properly use /sdcard on an encrypted Galaxy Nexus? I have a Galaxy Nexus (toro) device. It's flashed with the latest touch ClockworkMod recovery image, along with a milestone snapshot of CyanogenMod 11.

Now, when I try to pick a zip file to flash from the SD card, ClockworkMod gives me an error that it can't mount /sdcard. The Galaxy Nexus has no internal SD card, so I assume that it can't mount properly because it's already there (there is an /sdcard directory, it's just stored on the internal flash memory and so can't be mounted). So far I've been using sideload to flash things, but it'd be nice if I could push files to the SD card. It's worth mentioning that I have data encryption turned on.

How can I tell ClockworkMod that /sdcard doesn't need to be mounted, because it's stored on the internal flash?

I have read this related question, but it appears to be about mounting problems due to the locked-down nature of most Samsung Galaxy devices. I have no such problem, having a Nexus device.
The important part looks to be this:

It's worth mentioning that I have data encryption turned on.

I don't believe ClockworkMod can handle encrypted devices as of yet, which is problematic for devices that lack true external storage support (e.g. SD cards). The reason it's a problem is that /sdcard on these devices is not a separate partition, it's a FUSE mount point for the /data/media directory. Therefore, when you boot into recovery, it can't access your internal /sdcard directory because it is encrypted.
TeamWin Recovery, as of version 2.2.0, does support decrypting your device when booting into recovery. They actually specifically noted the Galaxy Nexus in the release notes, possibly because they had to implement the decryption differently on non-AOSP devices (e.g. support for encrypted TouchWiz devices is listed in version 2.4.0.0):

What's new in version 2.2.0

Support decrypting an encrypted data partition on Galaxy Nexus (enter password using keyboard)


Realistically, the best bet if you want to encrypt your device would probably be to use TWRP instead of CWM. Otherwise you'll have to continue jumping through some hoops when trying to use your recovery. You can download TWRP from their website.