This now appears to work when io.open is substituted for the real open
in fileinput.py -- at least the latter's unit tests pass.