bug #1841: remove checkpoint file after restore