Fix: Win Github Runner running low on disk space on make dist by deleting not required contents from the repository.
Fix: File is used by another process and Permission denied errors during make dist on executable files that just got copied and were presumably accessed by Windows Defender (or similar filesystem monitoring process) by adding a short sleep after the copy.
Tweak: Replace 7z 32bit utility helper by 64bit version
Tweak: Fix ignored errors when trying to sign not existent .exe
make distby deleting not required contents from the repository.File is used by another processandPermission deniederrors duringmake diston executable files that just got copied and were presumably accessed by Windows Defender (or similar filesystem monitoring process) by adding a short sleep after the copy..exe