Cannot add some ISO files after file-5.15 update (permanent fix)

The same problem as in #811. file-5.15 changed some names and it doesn't work once again. Here's a fix that will make this issue **never** come back.