what is this file? can we find a better attribute name than just "file"?