Fix for #84: forcibly set JSONEncoder encoding='undefined'.