Naming input files

The nightly builds remember settings in the input generators, yes.

I’ll take a look at the default filenames later this afternoon.