update mjproto_txt