Built checkpoint-prototype from commit facbf61 on branch master