Don't print the filename twice in file-not-found errors.