json_spirit v4.06 library