Include MIB repository in the assembled distribution