mariofreeze

Finally I got beyond this rename by adding these lines before 723: ``` if os.path.isfile(manifest_filename + ".old"): os.remove(manifest_filename + ".old") if True: os_jsonfile(manifest_filename) os.rename(manifest_filename, manifest_filename + ".old") ```