remove two more uses of default encoding