checkpointing compiler work (tests in mingle and mingle-compiler are broken)