Update pinocchio

Merge the Pinocchio pull request first