Fix #10: Use a maintained fork of xapian-full