procctl: Remove a header file that was renamed with 'make upgrade'.
procctl.2: Some cleanup.