Updates to avoid bugs cause by using C++ 11 without rebuilding boost library.