bump lucius and minibufexpl