add missing #include <string.h>