Made MiniBufExpl a submodule too.