Quick links: content, navigation, search.
fix dbg_dict_dump_json build
Cast to jsoncpp *Int64 types as they may differ from *int64_t. Don't rely upon C++11 support in compilers.