fix print in R17. run getopt before io:setopts([{encoding, unicode}])