** Using WeBWorK **

You could switch to giving files randomly-generated names. It's not as helpful when debugging but way less of a hassle to code and less risk of issues like this one. I've been using UUIDs lately.
-sam