Update ckptman.radl