DivX is usually in an AVI container, copy the files back to your HD, go to rename them, except this time rename them like in my example. Except for whatever name you want! example.avi
What you did was simple, you took the file extension away, and the player doesn’t recognize it, put the extension back in the file name, and it should work! Post back and let me know if that worked!