Built calculoid from commit 47436b5 on branch master