Eliminate mibstore.h