Tak už je to vyřešeno. Jednalo se prý o problém nastavení domény (na mém školním počítači). Pak stačilo spustit ctfmon.