Built calculoid from commit 0936241 on branch master