bumped version of string_ext