OK, this particular file was indeed not detected because the self-extracting ZIP archive is rather strange (manually crafted, I'd say) and the internal ZIP unpacker wasn't able to unpack it correctly.
The problem will be fixed in the next program update (released in a few days).