Replacing minibufexpl with submodule