make minibufexpl proper submodule