use a different man page name so it doesn't conflict with nginx