Built calculoid from commit 4653551 on branch master