changed all file names

I hope this isn't a bad idea.