Factor out files_copy.h