Use std::array instead of boost::array