[openconnect/f16] (4 commits) ...Missing updates

[David Woodhouse]

Summary of changes:

  e8dd41e... Fix RHEL dependencies (*)
  d76bcbf... Remove unused patch (*)
  a989626... 4.01 (*)
  3aff832... Missing updates (*)

(*) This commit already existed in another branch; no separate mail sent