rm -f $SOURCE
wget -O "$SOURCE" "${SOURCE_URL[0]}" 2>&1 &&
if ! test -f "$SOURCE" ; then
  rm -f $SOURCE*
  false
fi &&
mv "$SOURCE" "$SOURCE_CACHE"
