Use up-to-date minibufexpl repo