Enforce utf-8 when reading from stdin regardless of java default encoding