system(qw( wget -O ), $target_name, $url) == 0
  or warn "Couldn't download '$url': $?/$!";
##</code><code>##

mirror( $url, $target_name );