fix encoding of COPYRIGHT