Give file objects an appropriate distructor