More Py3 compatibility (file is no longer a thing in Python3 -- import FileIO
from the io module to replace it).