use sqlite3 so that match deduplication can better survive crashes