Add a missing #include <string.h>