Use simplejson intead of pure-python JSON encoder.