mtcp_restart: Minor fix to use the correct ckpt filename

The name of the checkpoint file to open was changed to a fixed
value during testing of the AArch64 port. This patch fixes
mtcp_restart back to use the correct checkpoint file.