Files are not flushed on process exit

This would most likely create a 0 byte file if the process exits immediately after:

```
write(open("t", "w"), "hello")
```

Whereas this behaves properly:

```
f = open("t", "w")
write(f, "hello")
flush(f)
```

Can be a source of subtle bugs.
