added std vector to config.h