Use syntax for std::array which works with GCC 4.4.