This issue has been addressed by the release of a new version of WgnCheck.exe which has been published as FIX:SO00809 (incorporating Server_15.20_HF0159, Server_x64_15.20_HF0160 and Integration_x64_15.20_HF0161).