small update to the sqlite3 library