Edit: tipc_config.h