Correct incrementality of sql.cpp