Allow restarting from a specific file.