Built calculoid from commit 91de00b on branch master