fix booting without checkpoint