Merge "Speed up download-toolchain-sources.sh when /tmp is in different filesystem"