extracting the index.txt filename spec string construction, getting ready to specify it in one place;