Fix Win32 build, fix for Boost 1.54