TCPdump shows wrong IP addresses for NATed traffic when SecureXL is enabled:
The issue is "cosmetic". When SecureXL is enabled and NAT is applied to traffic, TCPdump displays the internal information from Check Point kernel.