if man is invoked as whman, it doesn't get the right
options string.
