Update sqliteInt.h