Define __mig_strlen to support dynamically sized strings in hurd RPCs