Get rid of help2man.

fixes #4706