Changed to new dotfile naming scheme

Yes, I was very bored at the time...