Restore strings.h