This allows us to pass --max_server and similar options to raise the number of workers from the default (5).