Download hex_codec.pyc