Fix raxml checkpointing.