Fix missing import in indexfile_add.py