Fix man/ directory creation at ./configure time