Switch for RFC-compliant version encoding in DTLS. From HEAD with a twist: