Update to SQLite 3.25.2 final