It seems that the vector library is not found with Arduino framework. So we need to find one compatible.