Remove now useless files.