fix void* pointer arithmetic in string_strchr.c