Explicitly configure server ports

This makes it easier to consistently override the ports.