Added File.set_directory() and added DOCUMENT to possible file types.