Path with Unicode characters, various failures

If the path (or even the file started) has any unicode characters (>chr(127)) in it, the dump into the JSON will fail on Python 2. Solution: On dumping and reading convert the filename to the filesystem encoding. PS: Same happens with 3.7.1 (a fix is incorporated into Eric 6).