Built calculoid from commit 799ed69 on branch master