Those are good bugs, thanks.
Well, Windows filenames are case-insensitive, so the "set filenames" logic of the decompiler will need to ensure the filename is not already being used - if it is, change the name (it already supported this, but wasn't case insensitive like it needs to be).