Include <vector> directly in files.cpp.