[PATCH] header.pl: Remove duplicate "IpInSubnet" function