Some more additions to the File class