Index files are not used in the session where they were created

[Dmitry Neverov]

> I think it would be good to have a separate bug for your case though.

I investigated it in the scope of
https://sourceware.org/bugzilla/show_bug.cgi?id=30520.
Should I still file a dedicated issue?