Remove files that reside in a separate repository now.