Recovery from checkpoints *AND* logging to file