Why is this console_bridge/console.h include needed?