Fix minibufexpl submodule location