xapian_backend_extra.py fix