Built calculoid from commit 3d7b4c1 on branch master