c_types_pktclassifier.c => corrected bug in function push_gre() => do not use ident from IPv4 headers, as there may be Ethernet frames that are not IPv4