Fixed bug in boost serialization of TVector (aka. std::array)