firewall4: update to latest Git HEAD