Ivanti Fixes a High-Grade Vulnerability in VPN Appliances