Built checkpoint-prototype from commit 7100d5d on branch master