pypy: properly hint sqlite3 headers