force us-ascii encoding

this loses info, but json doesn't support unicode anyways. I'll figure
out a better way to do this without loss later