Fix encoding in the debian package