workaround for broken json serialization in centos5 (fixes #422)