Revert "delete progress.txt"

This reverts commit 2df1367c2de9676a78996ea06ce7e5d2e9a740fd.