Remove now deprecated files