Fix server launching.