Merge pull request #2 from nim65s/devel

Update to changes in Pinocchio v1.3.0
4 jobs for v4.0.4 in 27 minutes and 53 seconds (queued for 1 second)
latest