json-loading through jsoncpp works