Cannot add some ISO files after file-5.15 update

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.