#[{ root := FilePath.mk "readDir.lean.dir", fileName := "foo" }]