fix writing progress info
Of course, the pid is the other form of uniqueness! How could I not have seen this before!