Use strdup_or_die() if the duplicated string is tiny