python3 compatible uuid => hex string conversion