Merge branch 'deb-cleanup' into 'master'

synchronize distro/deb with official debian packaging

See merge request !593
20 jobs for master
in 6 minutes and 25 seconds and was queued for 6 seconds
Scheduled