RE: -keep-hc-files with --make?