Built calculoid from commit 183fd77 on branch master