Tutorials: download tutorial files only if necessary