Fix for TLS record tampering bug CVE-2013-4353