Hervé Girod - 2020-04-22

Make sure all file outputs use the UTF-8 encoding