Change-Id: I90c3b8d07b20d0f7b90db9d30e9f3b835fe75937
debian/ is still missing, will follow in next commit. Fixes: #4626 Change-Id: Ia87c28c1c75b8402eedbfca47f888585a7881f44