fix string.h