fix for deb-packages in portgen-deploy-live.sh