file built-in was removed long time ago

Substitute `file(...)` for `open(...)`.