Fortinet patches a critical-severity vulnerability in FortiOS and FortiProxy that could lead to remote code execution.