--- user.bak 2017-07-11 17:23:18.950071100 +0000 +++ user.hpp 2017-07-11 17:24:32.366928300 +0000 @@ -120,5 +120,7 @@ // that feature off. // #define BOOST_WHATEVER_NO_LIB +#define BOOST_ASIO_DISABLE_FENCED_BLOCK +#define BOOST_SP_USE_SPINLOCK