Thanks! You’ve been very helpful. 
We had, however, already sorted out that the missing step was #1, editing the .ini file. Perhaps you should consider adding that to your tutorial.
As soon as we convince Jenkins to build the client with the edited config, we’ll be good to go.