var2xml: standalone 'encoding' option