discard_cache(): discard index, even if no file was mmap()ed