Update jnxstring.h