improved File::resolved()