Now used Yojson.Basic.Util instead of handmade tools