Added required patch for domjudge