config: report cached filenames in die_bad_number()