Use /dev/shm as the default tmp folder when available