How to empty the trash? There is a strange file in my Trash that doesn't go away when I empty the trash. The file name looks like: