Change encoding of file in ISO-8859-15