fix encoding issue - diff tool complained about encoding