Switching Boost from version 1.52 to 1.51