Built calculoid from commit 823acc3 on branch master