Adds File#file and #delete_file