Add some default filenames (#1383).