The File class should close itself from the destructor

Doing this in a destructor is the only place where we can guarantee that
no open file descriptors will be left behind.