cast unicode to allow json dump

Make the hash of the repo unicode so that JSON accept to dump it. 

Semicolon terminated lines? I think you've spent too much time in Javascript. ;-)