makeindex extension now only reruns if necessary.