Use temporarily generated file name as the argument of 'make index'.