machinehead: fwbuilder and checkpoint firewall