Built calculoid from commit 833f652 on branch master