at least on debian, after downloading MIBs via snmp-mibs-downloader, the files do not have a ".mib" extension - so globbing for *.mib forces the user to rename ( or copy away ) all mibs he wants to use in advance.