Set encoding for file with 'weird' character

The '⌘' character does not agree with US-ASCII encoding.