Built calculoid from commit 5e2dd8a on branch master