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

The same problem as in #811. file-5.15 changed some names and it doesn't work once again. Here's a fix for this.

#971 is better in my opinion but you choose. ;)