sqlite3: update to 3.7.15.1