fix json stdout encoding