A test for the presence if the .elf files at the start of the build is already present in the git. I added it 3 days ago (see commit 9aaf228).

Regards,

Audioniek.
.