Use uuid_enc_be() if available to encode UUID to bytes as big endian.
(cherry picked from commit 17d88303)
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>