indicate encoding in command-line options