Make jax.js compatible with ASCII