encoding option for doctest files for test running