update sqliteint.h