Fix github path for minibufexpl.