php: add sqlite3 extension