clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");