Avoid scanning .coq-native directories when building the library index.
Avoid using a deprecated lemma in the standard library.