hotfix for make-iso.sh, tmpdir had double ARCH entries