You can delete files by using the terminal application and using the rm command. I've had a file or 2 that I couldn't delete when dragged to the trash and the rm command will delete it. In terminal, type 'man rm' and the help file for the rm command will tell you how to use it.