get a child as a file
File childFile(Directory dir, String sub) { return File(join(dir.path, sub)); }