Use release 2.1.0 of Pinocchio

3 jobs for devel in 119 minutes and 39 seconds