Fix Debian packaging tests on Ubuntu 14.04
Fix Jenkins tests
Merge branch 'stable-4.0'

Conflicts:
	dev/ci/run_travis.sh