try again not to clobber *wserver* on restart after dumplisp!

5 jobs for release/1598 in 6 minutes and 7 seconds (queued for 1 second)