Use libstdc++ for boost (hat tip to @shayneski)