set the encoding for system.in as well