Add hdevtools and minibufexpl.
Update minibufexpl setting.