this still refers to INDEX_FILE