Restore old tex2jax config.