--- builds_bin/build_ISO	2020/06/15 04:36:11	1.45
+++ builds_bin/build_ISO	2020/06/15 04:40:42	1.46
@@ -25,6 +25,7 @@ do
     then
         echo "building efiboot.img"
         # the content of the img should be /EFI/BOOT* and not /BOOT/*, so we need to copy the content in a temp dir 
+        mkdir -p /tmp/{loop,remaster}
         sudo mount -o loop  $(pwd)/$distarch/images/efiboot.img /tmp/loop
         sudo cp -a $(pwd)/$distarch/EFI/BOOT/grub.cfg /tmp/loop/EFI/BOOT/
         sudo umount /tmp/loop