Built calculoid from commit 856c723 on branch master