Add bdf2hex from the official distribution