RE: same exe, same input, different output on different servers