Serve.cfg:global:use compilation server

Редактирование элемента: страница "Editing contest", вкладка "Global settings (serve.cfg)", поле "Use the default compilation server".