Wrong hour (daylight savings) when using LSPHP


I'm not sure this is the right place to talk about this... In our current server configuration, we have several versions of PHP available to clients:
PHP 5.6 to PHP 7.3 - Both packages from Ubuntu and from LSPHP.
Normally, since last week, we would be in daylight savings time in Brazil, but the president revoked this this year, and so begins our problems:

This is the script we are running to test:
root@xxxxxxxx:~# cat date.php
$date = date('m/d/Y h:i:s a', time());
echo $date;
echo "\n";
The output we get are the following:
Using PHP from Ubuntu:
root@xxxxxxxx:~# php7.1 date.php
11/08/2019 05:05:50 pm
Using PHP from LSPHP packages:
root@xxxxxxxx:~# lsphp7.1 date.php
11/08/2019 06:06:23 pm
The only LSPHP package returning the correct date is LSPHP 7.3. All the other versions from LS PHP, 5.6 to 7.2, are on daylight savings. I tried to update the packages, but nothing changed.

Server is configured to America/Sao_Paulo, as is the testing script itself.

What would you guys recommend me do?
Oh, just found out about the extension timezonedb
Too bad there is no package for it already compiled :(

Anyway, I guess that's it. I will compile and install in every server. Thanks :)