Removing some old junk files. (Hopefully these aren't needed anyway).