fix sot-dynamic-pinocchio lib use

10 jobs for devel in 2 minutes and 10 seconds (queued for 1 second)
latest