Fix leftover options from --leave-files name change