File not found #

Are you setting up your first Lean project, and seeing this error message? The problem might be: