Update to Argus-2.0.1. This commit closes ports/27562, though it is not based
on the patch offered (I already had prepared diffs more than one week ago, but
had no time to perform the commit). I choose to use my patches instead of
those from the PR, since they seemed even more correct ;-)