Apply file.name index to allow MongoDB to sort the files, ticket 3988