Built calculoid from commit 1031b25 on branch master