BigFile.py: add missing import