Bug fix: file.py: add missing import