Fix up the default input filename