Android: Galaxy Nexus with Jelly Bean 4.2 changed the /sdcard symlink and mount points, breaking our builder.py