adding tmp/restart.txt