Correct use of iris-string-ident

Using plain Require is unsupported, as discussed in string-ident!3 (merged).

Fix that as requested by @jung in that MR.