Use a machine-verified implementation of x_strlcpy()