Patching up mib_install with actual downloading.