Built calculoid from commit cfdaaac on branch master