Fix broken init-deb.sh download (again)