After a day struggling to make space for /tmp just for installing a new system image for Android Virtual Device, right before I gave up, this magical thought came to my mind: why not change /tmp mount to somewhere more spacious: /home/<user>/tmp!
