Use JSON, not PHP serialization, for XHProf profiles.