You tried it, didn't you ? And your ISP did just what you said, he blew it away, right ? :lol:
No, I was just giving an extreme example to make it clear that the export can be renamed to anything and then named back to the original, before import.
Obviously, some filename that is not usually used for executables would be much preferred.