--- src/lib_json/json_reader.cpp.ORIG	2017-01-07 15:55:32.799827485 +0100
+++ src/lib_json/json_reader.cpp.ORIG	2017-01-07 15:56:06.949827819 +0100
@@ -18,6 +18,7 @@ 
 #include <memory>
 #include <set>
 #include <limits>
+#include <boost/scoped_ptr.hpp>
 
 #if defined(_MSC_VER)
 #if !defined(WINCE) && defined(__STDC_SECURE_LIB__) && _MSC_VER >= 1500 // VC++ 9.0 and above 
@@ -44,7 +45,7 @@ 
 namespace Json {
 
 #if __GNUC__ >= 6
-typedef std::scoped_ptr<CharReader> const  CharReaderPtr;
+typedef boost::scoped_ptr<CharReader> const  CharReaderPtr;
 #else
 typedef std::auto_ptr<CharReader>          CharReaderPtr;
 #endif