Built calculoid from commit bd70548 on branch master