Add tmp/restart.txt to repo for simplicity