Revertir el horario de verano

Estoy ejecutando El Capitan 10.11.6 (15G21013) en Brasil.

Hoy mi máquina cambió al horario de verano, lo cual estaría bien si la fecha oficial para el cambio no se hubiera movido recientemente al 4 de noviembre. Aquí está lo que obtengo en esta Mac:

$ zdump -v /etc/localtime | grep 2018
/etc/localtime  Sun Oct 21 02:59:59 2018 UTC = Sat Oct 20 23:59:59 2018 BRT isdst=0
/etc/localtime  Sun Oct 21 03:00:00 2018 UTC = Sun Oct 21 01:00:00 2018 BRST isdst=1

Una máquina Linux que he revisado no cambió al horario de verano. Allí obtengo

$ zdump -v /etc/localtime | grep 2018
/etc/localtime  Sun Nov  4 02:59:59 2018 UTC = Sat Nov  3 23:59:59 2018 -03 isdst=0 gmtoff=-10800
/etc/localtime  Sun Nov  4 03:00:00 2018 UTC = Sun Nov  4 01:00:00 2018 -02 isdst=1 gmtoff=-7200

Entiendo que esto probablemente se deba a que El Capitan no se ha actualizado después de que se decidió la nueva fecha de cambio de horario de verano.

Intenté copiar /etc/localtime desde la máquina Linux a la Mac (en modo de recuperación). El comando date en la terminal mostró la hora correcta, pero el reloj en la barra de menú no. Así que revertí el cambio, restaurando el archivo original.

Encontré archivos de zoneinfo actualizados en https://www.iana.org/time-zones pero SIP no me permite actualizar /usr/share/zoneinfo/ con zic.

¿Cómo puedo solucionar esto?

• ¿Copiar todo /usr/share/zoneinfo/ de una Mac más nueva a mi Mac? ¿Funcionará?

• ¿Cambiar la hora manualmente y esperar hasta el 4 de noviembre y luego volver a configurarla automáticamente desde los servidores de Apple?

• ¿Cambiar la zona horaria a una zona más al oeste hasta el 4 de noviembre, dejando la hora tal como está?