Merge pull request #153 from jcarpent/devel

Fix packaging issue
14 jobs for v1.4.2 in 156 minutes and 25 seconds (queued for 12 minutes and 45 seconds)
latest