Built calculoid from commit 1a87ca6 on branch master