file.py: bug fix - forgot import os