I have just released GARLI 5.01 for all platforms, which should hopefully fix the checkpointing issue. There should be more work in the system soon, and we'll find out then.

More...