missing file:/// before directory name. TEI Bug #615