I wonder if the extension of that file is hidden or had .avi added manually to the end of the filename.

It sounds like a useful utility. There's some others listed here Incomplete Download File won't delete at all (click on link)