Old files properly deleted.

I thought these files got deleted in the previous commit...