sqlite: really update to 3.8.0 this time (wrong amalgamation version).