On windows, change json_gssapi.exe to take filepath as arg