List of checkpoint files is now generated explicitly (rather than
listing files that match "checkpoint_*").
This fixes problems when encountering non-checkpoint files that do
contain the "checkpoint" word in their name.