sqlite3 patch