Fix missing include in assert.cc