Changes to make FReD work with latest DMTCP.