bug fixe #13: Don't install man page by default, should use option --with-man.