Fix no-ssl3 configuration option