[PATCH] highest_possible_node_id() linkage fix