remove "hex_encode" stuff (as suggested by @koeppea)