(change:minor) Use plain array instead of boost::array