Remove two spurious files used for tests