updated minibufexpl dependency since the old one appears to have vanished