change example file encoding