I think I've found a bug in configure for help2man, but would like to verify