Work around buggy libjsoncpp