libs/pinocchio/cmake