use simplejson for Python 2.5