#4048: please tag the following xapian-core builds into their respective F12/F13 build overrides.