weaver.ini: Use -SingleEncoding